Explanation of Benveniste
نویسندگان
چکیده
منابع مشابه
Albert Benveniste , Paul Caspi , Paul
In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish...
متن کاملAlbert Benveniste , Stefan Haar , Eric Fabre ,
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This report is an extended version of the paper with same title, which appeared as a plenary ...
متن کاملAlbert Benveniste , Eric Fabre , Stefan Haar
For distributed systems, i.e., large complex networked systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local state and time, but do not possess global state and time in the usual sense. In this paper, motivated by the monitoring of distributed systems and in particular of telecommunications networks, we devel...
متن کاملExplanation People and Their Family Care Explanation of Them
Objectives: Elder abuse (Doing or not done a single or repeated act That bothers or to cause harm to an elderly) is one of the social health problems in modern societies to rise and has a prominent role in prevention education The objective of this study was to investigate elderly abuse in Persian literature. Methods & Materials: This study identified themes related to elder abuse in Persian...
متن کاملJean - Marc Jézéquel , Albert Benveniste , Claude Jard N ̊ 4003
The UML (Uniied Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide descriptions of the components and system behaviour. Examples of dynamic diagrams are collaboration and sequence diagrams to specify high level abstractions for sequences of actions involving several compone...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1988
ISSN: 0028-0836,1476-4687
DOI: 10.1038/334286d0